و در موضع ديگرى ذيل اثبات الواجب مىفرمايد : اثبات الواجب مولى احمد بن محمد معروف به مقدس اردبيلى معروف به مقدس اردبيلى ( م 993 ق در نجف ) ، كتاب او به زبان فارسى است و اثبات واجب يا اصول دين نام دارد و در چهار باب است : باب يكم ، در اثبات واجب ؛ باب دوم ، نبوت ؛ باب سوم ، امامت ؛ باب چهارم ، معاد . نسخه‌اى خطى از آن به شمارهء 2911 ( كلام فارسى ) در كتابخانهء مدرسهء سپهسالار موجود است ( فهرست سپهسالار ، 3 / 36 - 37 . ) « 1 » * * * * و فى معجم مؤلّفى الشيعة : احمد بن محمد المقدس له استيناس المعنوية ، بحر المناقب ، الحاشية على الشرح الجديد للتجريد ، حديقة الشيعة ، الخراجيه ، زبدة البيان فى براهين احكام القرآن و تفسير آيات الاحكام ، مجمع الفائدة و البرهان ، مقالة فى الامر بالشى ، مناسك حج . « 2 » * * * * در كتاب مقدمه‌اى بر فقه شيعه آمده : مقدس اردبيلى ( م 993 ) . مجمع الفائدة و البرهان ، شرح ارشاد الاذهان علّامه حلّى ، چاپ تهران 1274 - ، قم - 1403 به بعد . چند نسخهء منتخب : مرعشى 1852 ( فهرست 5 . 237 - 238 ) . مجلس 3377 - 3378 ( فهرست 10 : 1226 - 1228 ) . دانشگاه 6717 ( فهرست 16 : 344 ) . ملك 2195 ( فهرست 1 : 642 ) . آستان قدس ، 3 نسخه ( فهرست 2 : 124 - 125 ) . ملّى ، 4 نسخه ( فهرست 7 : 49 ، 147 ، 472 ) .

--> ( 1 ) . دائرة المعارف 1 / 464 . ( 2 ) . معجم مؤلّفى الشيعة ، ص 17 .